منابع مشابه
Minstrel Reloaded: From the Magic of Lisp to the Formal Semantics of OWL
This paper is a review of a story generation system called Minstrel. It uses complex but hand-crafted Lisp knowledge structures to generate short computer-generated stories within the King Arthur domain. The knowledge representation model of Minstrel is reimplemented using a W3C standard language to analyze the pros and cons of technology updates over this kind of classic AI projects.
متن کاملAn Agent Language with Destructive Assignment and Model-Theoretic Semantics
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programming (ALP), but employs a simplified state-free syntax, with an operational semantics that uses destructive assignment to manipulate a database, which represents the current state of the environment. The language builds...
متن کاملSemantics of haq in the Glorious Quran
Meaning plays a very important role at all levels of linguistic analysis and in linguistics. We can say that the word itself and out of the chain of speech doesn’t show the true meaning. It should be in relation with other signs within the language that its meaning be relived. Quran, the precious word of Allah, contains words that take a variety of meanings in the syntactic and topical con...
متن کاملThe Semantics of the Goodness and the Ugly
There are different views concerning the meanings of the most important ethical concepts such as the goodness and the ugly. The author of this article while classifying various views and explaining them, tries to make a critical study of those views as well. Accordingly, first he goes on to examine critically the theory of emotionalists as one of the most important non-cognitive theories. Th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1989
ISSN: 0167-6423
DOI: 10.1016/0167-6423(89)90029-4